Die hyperbolische Geometrie als Beispiel für eine nichteuklidische Geometrie erhält man, wenn man anstelle des Parallelenaxioms eine seiner Verneinungen, das „hyperbolische Axiom“ annimmt. Dieses besagt, dass es zu einer Geraden g und einem Punkt P nicht wie in der euklidischen Geometrie nur genau eine, sondern mindestens zwei Geraden (h und...